Modeling of Service Systems

نویسندگان

  • Martin Böttcher
  • Klaus-Peter Fähnrich
چکیده

An important aspect in the field of service science is service modeling; however, no comprehensive modeling approach exists. In this regard, the authors analyze literature of service science and look at existing modeling approaches. Based on this analysis they identify concepts necessary for modeling services. This paper specifies a semi-formalized meta-model comprising the concepts found and for having a more applicable meta-model, the authors transfer it into a technical space. Additionally a concrete syntax and implemented an editor, which supports service modeling, is specified. Overall, this work comprises existing approaches and presents a well-structured formalized meta-model for the domain of service modeling. This meta-model may be used as a starting point for further research within the area of service modeling.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Service Process Modeling through Simulation and Scenario Development for Insurance Analysis

Insurance companies are among the service organizations, which maintain close relationships with their clients by providing insurance services. Clients are the most important resource for service companies. And profitability of insurance companies undoubtedly hinges on clear analysis of client satisfaction and improved productivity of service providers. An important factor of client satisfactio...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Reliable location-allocation model for congested systems under disruptions using accelerated Benders decomposition

This paper aims to propose a reliable location-allocation model where facilities are subject to the risk of disruptions. Since service facilities are expected to satisfy random and heavy demands, we model the congested situations in the system within a queuing framework which handles two sources of uncertainty associated with demand and service. To insure the service quality, a minimum limit re...

متن کامل

Formal Method in Service Composition in Heath Care Systems

One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...

متن کامل

Modeling of the Capacitated Single Allocation Hub Location Problem with a Hierarchical Approch (TECHNICAL NOTE)

The hierarchical hub covering facility location problems are applied to distribution systems, transportation, waste disposal, treatment services, emergency services and remote communication. The problems attempt to determine the location of service providers' facilities at different levels and specify their linking directions in order to reduce costs and to establish an appropriate condition in...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • IJSSMET

دوره 1  شماره 

صفحات  -

تاریخ انتشار 2010